generic
type Element is private;
Default : ElementTo API docTo spec;
package Sync_TypeTo API docTo body is
protected type Protect is
procedure SetTo API docTo body (E : ElementTo API docTo spec);
function GetTo API docTo body return ElementTo API docTo spec;
private
Value : ElementTo API docTo spec := DefaultTo API docTo spec;
end ProtectTo API docTo spec;
end Sync_TypeTo API docTo specTo body;